json: Small tweaks.