latex: small fixes