Update demo.krl