Fix a bizarre bug I introduced ages ago.