minor code style fix.