Small coding style fix