>>258 just reused an awkward sentence convention. They also neglected to realise that ">>256" started the sentence in >>257; so by capitalising "used" in their correction, they were unknowingly in error.