Fix export bug, add verbosity option.