Fix some lines that were too long for latexpdf output