Small updates to doc_latex ramblings