fixed bugs in header.go; 37/102 tests succeed