Minor modifications to docs