Fix @covers tags in ModuleTest