made minor fix to shell.py