minor edits to demo-intro