They were booking some profits but it's not clear exactly how they're positioned at any given moment. They're nimble! It's probably worth booking the profits now anyway since the Macron win is already priced in and there is a non-zero chance of an upset.