made dock preferences more explicit