Fix coverage annotation