minor code style issue