Minor fix to user preferences