If: avoid a corner-case infinite loop.