fix warning on Mac OS X