issue #3861. fix a indent problem