little coding style fix