Trivial fixes

* Nicer formatting for -Pdocs.
* Allow `coverage --samplecode` to run with -Pdocs
* One last pass over same error message from before