Doc fix for w32-unicode-filenames.