Fixed the types.h file.