convert_div_titles and other improvements