fix badge code to use rdoc