ajaxorg/ace — pull request #1723 by nightwing (2013-12-17 21:18:23+00:00)
Title: fix several small bugs

@lennartcl