fix github problem