If you don't want to deal with the approximations, add an opamp with the resistor from the phase detector feeding its virtual ground. But I recommend you split that resistor in half and add a small shunt capacitor to ground at the midpoint, to keep the amplifier from having to deal with the full spectrum of frequencies present in the detector output. A high frequency pole much higher than the oscillator cycle does not change the loop filter much.