Examples corrected