Correction of BDFk for fractional Feynman-Kac equation with Lévy flight