issue #20734: Fix formatting.