Is dat geen bug ofzo? Heb dat ooit is een keer gehad met een andere toets (shift dacht ik...). Heb dat toen kunnen oplossen door dat handmatig te veranderen in de config. Ik zou ff googlen naar je probleem, kans is groot dat je een gelijkaardige oplossing zult vinden.