  This paper corrects the characterisation of biautomatic groups presented in
Lemma 2.5.5 in the book Word Processing in Groups by Epstein et al. We present
a counterexample to the lemma, and we reformulate the lemma to give a valid
characterisation of biautomatic groups.
