Correct a command in the documentation.