Fixed a mess-up in the .gitignore.