fix erroneous example (for #1462)