Latex backend:  another minor fix.