slight tweak to the gitignore