(Effectively) reverting my changes to undo.js