Small updates to latex docs