Minor bugfix in backendshell