more document tweaks