Miles Bader Sun, 23 Jun 2013 13:30:47 -0700
The symptoms are gone, so probably this bug really should be closed. Thanks,
-miles
