Workaround warning spotted by gcc 4.7