Minor errors regarding ADTs