Minor fix for OSX