fix slight coding style