fixing crawljax#353