use printf-style format
case-insensitive http header