Minor changes to the gitignore file