small bugfix in server