No correction, you have it correct. A 30-45 minute Range charge on 240v at low-moderate current will pull a ton of heat out of the battery, then drop it back to Standard charging so you don't stress the battery. I do it all at 24 amps.
If you don't have a lot of charging to do, don't forget to pull it out of Range charging before it gets over 80% SoC, where a standard charge will stop. I.e. the 30 minutes cool-down time is less important than making sure you don't charge past the Standard cutoff. If this is going to be a problem, reduce the charging current even more. Remember that in range mode the Ideal range numbers are higher than in Standard. You'll see the mileage switch when you change modes, so do a little math to know when to stop.
If you have an OVMS module, you can also monitor the battery temperature in real time. When it gets down to 30C or lower, it's low enough that the car will go to sleep (turning the pump off) after the charging completes.