Minor cleanup after synthesis.