Minor tweak

Howdy,
Minor tweak, but since file names matter, I'll make a pull request.

I'll do more work in 882884-7-sign-in-to-web-desktop over time.