one small fix for Mac OS X