Fix in commit 8c3bba8e97 confirmed. Thanks, DRH!