Update example.

Fixes issue 7364.