minor tweak in settings