Small fix for Mac os X