small change in display of dots in menu bar