minor code maintenance