debugging support; fix issue with header parsing