fix for horrible bug... turns out that we could generate an infinite set of bad...