Update simple-dekker.txt