Tidy up the Dieckmann1999 example.