fix the correctness problem