[PATCH] Small bug in the INLINE_HEADER macro