printing bug for spanning coverage