The formula you quoted is for waveform generation in CTC mode by toggling the output logical level. That means, to get one full period of a waveform, it has to toggle twice. That means, to produce a 1MHz waveform it has to toggle at 2MHz speed.
In your case you do not want to generate waveform, so you should not trigger at twice the speed of the desired interrupt frequency