Agree, this is only a shorthand and not really necessary.