try to fix funny coverage inconsistencies