Corrected types