Oh, I misunderstood the comment, and thought this was set elsewhere. This is fine as-is.