another documentation tweak