Sorry about the double replies. I'd remove one of them, except that I accidentally made them anonymously and so can't edit them.