One small change to documentation.