I'll try out a version both ways and see which does the right thing.