Reuters’ headline.

Hardly a major surprise.

EUR/USD ticks higher, presently at 1.2875.