terminal preferences - minor correction