issue #2920: fix indent