fix typos in linux implementation