Update for dieter 0.4.0