Simpler stringify.