dsPIC33CH configuring slave ADC clock in MCC (oliverb)

I've found DS70005213G so I'll try to figure it out for myself but the configuration options in MCC appear to make no sense at all, I have a choice of:AUX VCO DIVMUXFOSCFOSC/2PLL VCO/4 Now since the PLL is running at 1200MHz VCO/4 ought to be 300MHz, and ..