changed formatting and added @covers annotations