Text correction in pen-based computers