Bug fix in the check of the return value of strpos() in Shell.inc.php.