Fix a misnamed command in the documentation