yet another fix due to git
Merge pull request #157 from covarell/master

yet another fix due to git