Some more correction to the examples, thanks to Chris Lattner.