Fix in [4368d9eefc] looks fine to me, so closing.