Hide the empty 'formal' section and fix a few typos