9b84b2e
Range: header: use old school fmt % operator This should be more compatible with old pythons.