small fix on osx