minor code cosmetics