little bugfix for windows