Fix an issue on OSX