closed #3988: fix indent.