aha! yes. doesn't much matter in this case, but if that's the convention I'll do it