Added verbose option for the toplevel