Minor coverage bug fixes.