A couple of small fixes (and making .gitignore better)