renamed a source file, and more docs