modify and let the reko demo runs