minor fixes to cypher intro