bugs found in coverage tests