REST queries on documents containing javascript content returns incorrect JSON

Issue reproduced via this specific use case: 1/ enable REST on the database 2/ create a database (let's say "demo") 3/ enable profiling on this database (level 2 to profile everything) 4/ execute a javascript file on the database Arbitrary example: var i = 0; while(i<1){ db.runCommand( { eval: function(name, incAmount) { var doc = { name : name , num : 0 , total : 0 , avg : incAmount } ; db.collection1.save( doc ); return doc; }, args: [ "eliot", i ] } ); i++; } 5/ do a REST query on the "system.profile" collection for "demo" (for example: http://localhost:28017/demo/system.profile/ ) Resulting JSON is incorrect (javascript command is not escaped) See attached file "json_profiles.json".