minor fix in mac osx