It's absolutely not critical.
I also have one of this board (it used in my test platform), and it is totally fine.
It's nothing wrong with pin 18 - it is Tx1 as it should be of course, just lettering as Rx1.
And it's easy to figure out, looking on other serial ports.
Vlad