defect 4231