minor code style fix