[Ben]: modify formula for bug