pretty-print json; more precise _oasis; clean up