added missing parentesis in linux version