small code style fix