Fix coverage bug