Minor modifications to tex and notes