a fix in crawler4j