# minor fixes to the demo document