minor extensions.