An example moved to correct place.