fix style of manuals that was not rendered correctly due to usepackage{times}