Minor documentation tweak.