More modifications to docs