fixed the syntax of some examples