w-bruns Merge pull request #112 from Normaliz/mh/typos