Tiny edits

Also added .gitignore.