Corrected from str() to to_json(); #13