DJ Delorie Thu, 12 Sep 2013 10:34:39 -0700
I finally got around to checking this in, with your suggested change.
Thanks!
