(well, actually this isn't mentioned explicitly in the conventions doc, but it's how we currently do it everywhere - we should document it)