another coding style fix