Fixed a wrong example