Fix recursive abstractions.