Fix \@covers mistakes