LaTeX plugin: Fix version number check.