fixed file names in documentation.  Fixes #6