fixed another MacOSX compatibility problem