Fixed bug I introduced during the last fix.