FYI I had read earlier somewhere (don't ask me where...yesterday sometime) that name might be a typo and should be John not Jon.
I saw that too. It still comes up though. I got Jon off of google.