Tastierino numerico

[Raven <raven@vp44.net>]

Salve.
E' una domanda un po' stupida, ma dopo una reinstallazione di debian sid
non riesco più a far funzionare il tastierino numerico.
I numeri funzionano perfettamente nella schermata di login GDM ma su
gnome non va più niente. Suppongo si tratti di qualche errore nella
configurazione di xorg ma il file di conf l'ho copiato pari pari dalla
precedente installazione.

Section "InputDevice"
    Identifier     "Generic Keyboard"
    Driver         "kbd"
    Option         "CoreKeyboard"
    Option         "XkbRules" "xorg"
    Option         "XkbModel" "compaqik18"
    Option         "XkbLayout" "be"
EndSection

C'è forse qualcosa che mi manca?

-Raven