@StephaneVeys the if() should be a no-op I guess but in fact it was applied to
the if() else() block afterwards. Isn't it a bug ? it should be checked !
fix compilation