minor changes to documentation