fix the bug of :=