Fix !!/random  in example (fixes #62)