a couple of Dock settings do not work in Yosemite