documentation tweak