Fix a coverage gap.