@michaelcahill: is this correct?