corrected a small relict in example