Title: The automatic correction of errors made by shorthand machine operators