very minor code formatting