Slightly cleaner "src/shell.c"