Corrected defs.h