More gcc warning avoided

2014-01-29, Edouard Tisserant