minor fix in preferences