A few small OSX tweaks