minor coding style fix