Minor tex update