Fixing crawljax#358

Making use of unused returns