Created by: eli-schwartz
Be "more proper" w.r.t. whitespace in filenames.
This should be fairly uncontroversial.