1a5ba135b6
The original PR #745 had indentation mistakes that led to error messages when building the user documentation.