Found a semantical bug in the example and fixed it