... ah well, never too late to fix a solid syntax error.

I'm working on a mini-update to deal with OS-naming issues related to Windows Server 2019, and I've just fixed this one as well :-)

Thanks for the report!