Addressed in 0dbb458.