Ticket #3133: keypad '*' doesn't work with numlock off.