I think the previous form is quite common (as it makes it clear that these two statements must not be separated) - for example, see the code immediately above.  Maybe worth checking with Mike?