#11584: make decode_header handle Header objects correctly

This updates b21fdfa0019c, which fixed this bug incorrectly.
3 files changed