jsoninfo: fixup the Server http header