corrected types