Fix mistake introduced in last checkin