OSEK: typo fix