more vera improvements

Minor adjustments and bugfixes to the [vera](http://wq.io/vera) implementation.