Fix potential issue on MacOSX 10.9