Slight code reformatting in Recurrence.