minor UI cosmetics