update examples given in dox
(#612)