Fix shell.{c,h} comments to match the style guide