some minor code style changes