static: fix patch.js (jslint).