Pedal Spindle Wrench Flat Tweakage

A new-old-stock pair of pedals for Mary’s bike had wrench flats just slightly too narrow for my 15 mm wrench:

Well, that’s easy to fix:

For reasons lost in the mists of time, those are titanium spindles. They file just like steel; I’m not fussy.