small tweaks to coverage and test output