Merge pull request #2864 from dunxen/2024-01-2797followups
authordunxen <git@dunxen.dev>
Thu, 1 Feb 2024 08:19:13 +0000 (10:19 +0200)
committerGitHub <noreply@github.com>
Thu, 1 Feb 2024 08:19:13 +0000 (10:19 +0200)
Fix followups to PR2797


Trivial merge