Some cleanups after dyngen removal