fix a bug wrt. nogood grounding