Appease a bit gcc 4.8 (which found an interesting potential bug)