Fix indentation
Merge pull request #5123