Fix json and verbose options