Minor fix for Windows