fix 'quench on undefined' bug