Wrong definition of type