heisenbug with json formatting