Mute (again) a warning on OSX.