Fix type in stop_server