Examples corrected.