Fix another style issue