minor updates
lyx document