minor code style update