Update part1.texi