A handful of minor fixes in formatting, punctuation and wordings of a question.