Fixed some numbered-list formatting.