minor: new argument -verbose