Fix bug 843823 - Fix the last-pb-context-exited example in the documentation