Badge and lint fixes.