small fix on OS X