Still disagree that `k+1`is needed to get correct highlight.