Patching on windows

I introduced a syntax error in the original (and now merged) pull request to apply patches on windows. I'm very sorry for the mistake (trying to multitask, coding and watching a two year old).