ajaxorg/ace — pull request #1539 by nightwing (2013-07-29 11:51:44+00:00)
Title: fix several small bugs

trivial
@lennartcl