fix of indentation bug (thanks to Giulio and Shahzad for spotting, seee #2695)