Slight updates to docs