very minor code cleanup