Bugfixes in Distiller