Corrected type (#1)