Update EXAMPLE.txt