fix for OSX OS (hopefully)