Addressed in 4328e4f9a5aa91aa18496a16e143f27e0d0e43b5.