bugfix in cs31shell.c