I've seen two ways of identifying the same pin......

PORTA.5 = pin 5 Physically
PORTA.5 = RA 5.


Both are in the PBP manual or on links to PBP examples out on the web.
Error in the users manual? As the first statment is used as an example.