Now addressed in 245f7a1.