minor code style tweak