some small improvements in incrawl