Fixes #5581: activate the modified file repo on Windows

this space is mandatory, otherwise the } is wrapped at the end of the previous line