Fix #239: remove / document 'pragma: NO COVER'

See #239 for discussion.