fix minor mistake in section 3
change some boring examples in section 4