The EVM technical reference manual states UART1 TXD is on expanssion header pin 93 and RXD is on pin 95. The circuit diagram shows the same but indicates that TXD is an input and RXD is an output. Following the circuit connection shows TXD connected to U51 as an input. Should pin 93 be RXD and pin 95 be TXD ?