De-linting

This PR:
* Adds build-time lint-checking, and
* Fixes a couple of syntax errors.