bugfix: after having called shutdown(), startup() was not working any more