More formality updates