Fix github problem

Fix github problem