Small update to the gitignore