Fixed a small Windows build issue.