A few corrections for markdown