Addressed in 0b8f1e8944027e8cf7382706a34cf1cfb88ad717.