Minor error in documentation