Lyckligtvis visade det sig,