Minor documentation changes and renaming of files.