Raʾsahu in ḍarabtu Zaydan raʾsahu is error-correction badal.