small fixes to tex scripts