fixed a gcc 4.1 warning