typos, cosmetics, small UX fixes