Small gitignore fixes

Two really small fixes. See the comment inside each commit.