fixing demo.jl