Gives EUR/USD little lift, presently at 1.2545.