page number variable update in docs for paginator

[joeyliechty@…]

​https://docs.djangoproject.com/en/dev/topics/pagination/#using-paginator-in-a-view

In this chunk of the documentation, perhaps it would be beneficial to also update the page number variable.
Something like this:

page = request.GET.get('page')
try:
    contacts = paginator.page(page)
    except PageNotAnInteger:
        # If page is not an integer, deliver first page.
        contacts = paginator.page(1)
        page = 1
    except EmptyPage:
        # If page is out of range (e.g. 9999), deliver last page of results.
        contacts = paginator.page(paginator.num_pages)
        page = paginator.num_pages

[Tim Graham]

Please reopen if I've missed something, but I don't see the point in updating the variable when it's not used in any code that follows.