Fixed example. See #5815.