minor tweak to preferences dialog