Small Change to shell.h