small but important bugfix for linux implementation