Fix doc badge