Can it be just `tok.RightColumn + 1`?