PIC16F1455 ADC issue?

[IanCBE]

I've had issues simulating a project so have reduced it to a PIC16F1455 with an analog input from a pot.
If I connect the pot to RC0 (pin 10) and set the code to read ADC channel 4 it works fine.
However, If I connect the pot to RC1 (pin 9) and set the code to read ADC channel 5 I get -
[PIC16 ADC] PC=0x003E. Write to ADCON0 register selects ADC channel 5 - there is no such channel on the PIC161455 device.
It also falls over on channels 6 and 7 (the ones I need to use in my project).
PIC16F1454 doesn't have ADC but PIC16F1459 does, so I replaced the chip on the schematic and it worked.
Am I doing something wrong or is there a simulation bug specific to the 1455?

[Ettore]

You're certainly correct with this; it's a PIC16 model bug. It will be fixed in the next service pack.

[IanCBE]

Thank you Ettore,
In the meantime I'll re-jig and use the 1459 just to get my sim running.