Minor fix so it does not give an error on windows