Take care of 'repl not defined' in korova-drop example.