issue #5821 : fix indentation