Fix another small mistake