PIE: corrected stale merge.