Minor bugfix for Windows?