part 2 of that fix (thanks Xcode…)