issue #2771:  fix indent