Correct syntax used in Windows shell command