زمانی که این گزارش تنظیم شد، نام شهید مصطفی صدرزاده با عنوان جهادی اش یعنی سید ابراهیم درج شده بود