Fix 2013-11-18-launching-powershell-as-different-user.md.