Minor cleanup to LaTeX mappings