Good catch.  Addressed in 5890907.