some minor changes in the documentation text