fix minor bugs, info --verbose by default