Trivial lint fixes
Merge pull request #142 from danieldreier/lintfix

Trivial lint fixes