Small updates to docs