small fix in malloc