Addressed in 0b112c28627e0afd2cdbc1832c04b27e8d710ce9.