minor changes to the docs