Zend_Loader_PluginLoader example code suggestion

Hi,
Is this the right place to suggest a change to Example 28.6 in the docs?
<http://framework.zend.com/manual/en/zend.loader.pluginloader.html#zend.loader.pluginloader.performance.example>

The code is currently:
$classFileIncCache = APPLICATION_PATH . '/../data/pluginLoaderCache.php';
if (file_exists($classFileIncCache)) {
    include_once $classFileIncCache;
}
Zend_Loader_PluginLoader::setIncludeFileCache($classFileIncCache);


But I believe the following would be better, as the file needs to both
exist and be writable for the setIncludeFileCache line to work.

$classFileIncCache = APPLICATION_PATH . '/../data/pluginLoaderCache.php';
if (is_writable($classFileIncCache)) {
    include_once $classFileIncCache;
    Zend_Loader_PluginLoader::setIncludeFileCache($classFileIncCache);
}

Thanks,
John