issue #2522: fix some wrong indent.