small adjustement to .gitignore