Fix osx settings: highlight color and device name