@pitr-ch, I added PR #976 to fix this.  thanks.