The first options sounds fine to me