Tiny cosmetic fixes