Trying to fix the @covers annotations