Minor fix to OSX