Further small tweaks to compareJsonbSuperHeaderValue