double 'the' removed

This patch removes double 'the' from both LaTeX documentation and ML comments.