Fix a mismatch in machine hostnames