binutils: fixes to tex docs