fixes novel_types.h