Fix example cmd line invocation