bugfix: wrong @covers annotation