Port 9001 is used by Intel drivers on Windows, so some users are suddenly seeing a problem. Issue #1580.
* Fix typo