Fix incorrect filename in demo