fix zk lock example, closes gh-76