Fix mining.
Fix stdserv.js.