Fix double tab

@gjtorikian @lennartcl 
fixes https://github.com/ajaxorg/ace/issues/956