Thanks!
Seems already done. Thanks!
(I've confirmed that the latest version (16) works and passes tests nevertheless.)