Lyx: a bug-fix update.