Fix bug #438
Contributors update
Merge pull request #144 from gabriele-v/master

Fix bug #438