Corrected basic examples