I think you are correct, either that or they got someone typing it in wrong.
I also found on that list "TOP/IP" I assume they meant TCP/IP and someone thought the C looked like an O. This happens when an HR person is filling out job requests for IT positions and someone either handwrites the description for them, or as you said they use an OCR and it messes up.