Some minor utilities