typos and change from lyx to tex