Correction malloc.h