Updated the push-button example.

It looks like the push-button example was written against an older
version of the code.