sync codediff.js
fix a few things broken by codediff.js update