Integrated: Minor bugfixes

[Jesper Wilhelmsson]

On Tue, 17 Oct 2023 21:39:56 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Fixes and a clarification.

This pull request has now been integrated.

Changeset: 0eebc913
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/guide/commit/0eebc913f3ba3d181faa7f5538d8f127d5e3e514
Stats:     18 lines in 6 files changed: 9 ins; 3 del; 6 mod

Minor bugfixes

Reviewed-by: iris

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

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