Fix bug in demo introduced in manual merge