Fix doc badge.