Fixing an error in the doc comment.