Fixed in b7078d5d49d72cb5e5356d698b99540612b4d6c4.
Closing.