Uncovered by the ininf() test in the next commit. This is why we insist on test coverage; unfortunately this one slipped through in fd1beedc07becc7e5e49b64273f7bde7f9a8b2a0.