Slight change to .gitignore, testing GitHub