Rewrote spanning coverage annotation.