Shouldn't there rather be a 'case UNDEFINED:' in line 635?