Slight gitignore tweak