Remove bug in EXAMPLE4.