Improve formatting of warnings.tex
Another way of formatting warnings