The pictures appear to show one port on the front and one on the back (on the left side of each) that match what I find searching for 'ultra mini serial connector', so it doesn't look like a typo.
I looked a little more and it looks like you can plug a RS232 converter into the ultra mini ports but it does the serial connection over the USB bus. This makes the serial ports useless for feeding the computer the Pulse Per Second signal from the GPS. Oh well back to the GPIO pins on the BeagleBone.
