issue #4710: Fixed wrong indention.