Fix another minor Windows/Python bug