rm a funny to_json method

This was used for testing a loooong time ago, it's not needed any more.