issue #18406: Fix styling problems.
issue #18406: Point to right source location.