Markdown header style, typos, regular polytopes.