Looks like they scanned the original with an OCR but I wonder what really happened.