Fix buglet introduced when I made the PRXXX ports code more flexible.

DHB