fixed a compilation error on mac os x (mavericks)