Good call. Addressed in 9587de1.