Fix infinite loop involving wrapping formedness.