Corrected Types