fix bugs case a=ε