man -> run

One more gender-neutral tweak.