fix crash in Mac OS X 10.9 Mavericks …