latex: more small fixes