Minor fix in "fix ocr errors"