Correction: Freeform imaging systems: Fermat's principle unlocks "first time right" design.