Did the 13th doctor quit?