Erratum: "On-line Turing Machine Recognition"