Trivial tweak.