Corrected type instanciation