lyx: typo fix.