Outdated documentation

You probably forgot to update this documentation after renaming these files.