Fix optimizations list so that the PDF displays it properly.