edit stdlib/json