Minor fix to documentation.
Update doc badges.