fix a coverage miss