Small indentation fix caught my eye
Documented solution to #2236