Fixed bug I introduced in the previous check-in