AVALANCHE: Fix GCC warning