latex: diverse fixes