Fix another minor mistake