Prefer using simplejson, and fix delayed save bug