small correction in server instructions