Fix crawltime issue
Merge pull request #147 from crawljax/fix-crawltime-issue

Fix crawltime issue