Fixing @covers notations for cast handling