renamed file, minor doc tweaks