Det fans visserligen ännu några små formaliteter,