>    is the indentation wanted here?

Yes, I wanted to slightly highlight this. Do you have a better formatting
suggestion?