Latex backend:  minor doc update.