fix minor issues, .gitignore