fixing OCR errors, addressing #4