doc latex tweaks