Fixes @covers annotations in tests