Fixed filenames in documentation

Minor change, as the names were not descriptive.