Small corrections in demo and examples