Fix a bug in risch_integrate