Tests: use @covers annotation for more accurate code coverage