Fix username in ssh/config