fix jshint: use window.ace