(That's what I'd do. I'm not suggesting that it needs to be this way, though.)