minor modification in documentation