Addressed in 3ec38b7