Fixes a warning (gcc 4.6)