Small documentation tweak.