small fix in <stddef.h>