fix compiler warning in types.h.