quick question about serial comm. w/pic16f88

'EFINE HSER_TXSTA 20h

You're quite sure nothing is missing?