Issue #42: header