Added verbose output from distiller.