fix a mistake of an example