Addressed in 8834a7b.