Tiny frontend lint tweaks.