coverage: verbose for debugging