Fix bad server names for labs

Change-Id: I99cb92362210f1fd120621df72ffa06d06aa4337