coverage: verbose again to try debug