That's how I would write it.