minor code style