another MacOS fix