Fix covering test