added verbose into ml_destroy()