Fix covariant check