Wikimaker changes to ExponentialCorrection. Re #6485.