Docs updates, fixes #457