Fix an embarrassing bug