Indeed, fixed in 6ec5602f405d305f248a8e3bcaa28b144e8e7830