fix github bug