(trivial: fix badge)