minor changes in documentation