Patches to make tabs smaller...