Really fix Semaphore badge.