fix Spock program.