fix .gitignore (#7)