Potential documentation inaccuracy

I think there is a potential documentation inaccuracy.
In UM-B-025 we are told to connect P0_4 to T_RxD and P0_5 to T_TxD but
The pins are initialized differently in peripheral_setup.h for the peripheral examples:
#define UART_TX_PIN GPIO_PIN_4
#define UART_RX_PIN GPIO_PIN_5

Everything works fine if you connect the pins using the usb link provided by the board.
但是当你尝试连接外部终端or device you have actually to switch the cables because P0_4 transmits and P0_5 receives.
Took us a while to find this and I hope this note saves some time to some of you.
Rony