Fixed syntax in types.h