fix small issue in preferences