some minor extensions