I think the second option, though I think either would work.