Internet Archive BookReader - A practical method for syntactic error diagnosis and recovery