minor corrections, added .gitignore