Revision 65936fa6a6cd1b2fbfab23970cb50cfdc30696c8

Committed on 01/12/2023 4:36 pm by Niels Keurentjes <niels.keurentjes@omines.com> [GitHub Diff]

Clean up some minor stuff