shortened JSON strings