Saving a file with a space in the name

(added to FAQ)