Fix bug in ignoring header, and add checker script.