Tweaked final_product, latex-wise