proper json string formatting