Updated and fixed in 92f1c3e3190563cd56c2cdf8d04d0b5dfdb95162.