Added missing semicolon in shell.cc