Fix stupid compilation error