Merge pull request #413 from guillermo-carrasco/master

Verification scripts