typos and tex source