Fix indentation after Richard B's patch in rev 1.137 [r3409].