Great idea.  Fixed in 9387778.