fix github badge