@cmwelsh I agree.

This got fixed in 06691149db649e68a9e4f96f9177cedd0b388da2