Another tiny mistake fixed