Another trivial README tweak.