Minor fix for OS X