another mac-related fix, let's squeeze it in this PR too