tex-check: small fixes