[GHC] Batch modify: #1062, #7666