Linting

See #408.