jsonb.c header comment tweak