changes to Spider benchmark