redrawNavi was a one-line function invoked in only one place.