Sergey Poznyakoff Wed, 26 Feb 2025 00:33:48 -0800
Hi Florian, Thanks for spotting this! I fixed it in commit 8bac36bf05. Please, pull.
Regards, Sergey