Det var nu en simpel formalitet.