fixing a mistake involving which hostname is which