latex-envlab: fix