cleanup of the LaTeX code of 'version 4'