Small fix for OS X