Minor documentation tweak