One small fix before 0.5b to de_nonum.kb