Fix some format specifiers.
Trim dead declarations in header.go.