Fix broken HTML tags (ACE bug?)