The better proof brought better quotients. Small LaTeX output corrections