minor extensions