minor code style change