Small bug fix

Hi the attached commit makes the crawler work on my system, and so perhaps makes it work for other people. I think it's to do with certain versions of PHP.

So you might want to pull it into your copy of the crawler.