Fix stupid bug from previous checkin