Integrated: Minor fixes

[Jesper Wilhelmsson]

On Tue, 4 Nov 2025 19:54:17 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Minor fixes

This pull request has now been integrated.

Changeset: a8dd278e
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/guide/commit/a8dd278e4b18370cea7eab8e39d2b61b1d014d6a
Stats:     3 lines in 2 files changed: 1 ins; 0 del; 2 mod

Minor fixes

Reviewed-by: iris

-------------

PR: https://git.openjdk.org/guide/pull/162