Example revised.