small touches to docs