Thanks!  I'll make this change in the devel tree.