#1130: Fix erroneous @covers