Some minor changes to the documentation.