very minor code style changes