This should be the case.  I added this to the handlers in ace.js