Addressed in 8dd9c95.