Fix typo at the end of colorlatex.pl