Some minor conveniences