fixed minor bug in documentation