* fixed minor bug in documentation