Some tex snippets updates.