Fixed by [](dcea3bad47).