Fixing an error which did prevent compilation on some compilers