Minor code change due to Windows build fix.