Fixed magnum_pi.json, TextEdit symbols were not compatible