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