Fix warning on Mac OS X