some changes to several tex files