What you have is fine.