Update main.lyx