corrected bug in example