Ack, fix stupid bug introduced when fixing bug 2423.