Fix two SSH known_hosts that got their names swapped