Skip to content

Warning fixes

Fix two runtime warnings; see the commit messages.

Merge request reports