change some doc examples to iex style