Fix an oversight in pushfinally.