corrections based on coverage tests