add some slight conveniences