fixes gcc 4.1.2 compilation error