Added coverage annotation.