fix
Merge pull request #17 from fstagni/jenkins

fix