Merge pull request #620 from tuncer/travis-dialyze

Travis dialyze