Fix a typo on a file name.
Modify .gitignore.