I think this fix can go in 0.4.3--I'll make sure to backport it [skip ci]