small fix for OS X