Fix bugs in coverage testing.