I think you might have missread the manual.

For the PIC17C7xx series with hardware PWM the default timer is Timer1 unless you use the define to change it. This reference is specific to the 17C7xx series.