edit typos make latex code verbatim in filter-headline.org