Fix EXAMPLE1 section in doc.