Fix another little mistake