Good catch!

It's fixed now in our development version.

The next beta version (3.7.4) is probably going to come out sometime after the new year, as many of us our on vacation now.