--- Shell.pm.orig	Sun Jan 28 17:09:00 2001
+++ Shell.pm	Sun Jan 28 17:09:18 2001
@@ -369,7 +369,7 @@
 		$command = $sh->{abbrev}->{$cmd};
 	    }
 	    else {
-		$command = ($sh->{command}->{$cmd}) ? $cmd : undef;
+		$command = ($sh->{commands}->{$cmd}) ? $cmd : undef;
 	    }
 	    if ($command) {
 		$sh->run_command($command, $output, @args);