made some doc filenames more windows-friendly, and better practice