Minor bugfix for Linux