minor updates to the docs