* minor changes in documentation