very minor changes to documentation.