Small bugfix for some platforms