Fix annoying bug occurring with goodfaith[3].

God knows why.