Small changes to docs