map <-> json convertion works