[IR] Minor cleanup.