Fix the github bug