Fix example after issue #143