I can't reproduce the problem any more with 7.1.88986.  I cannot see that 
anything has been changed to fix it, so I'm a bit reluctant to close this 
without some reassurance that it has actually been fixed.