this if-block is uncovered.