A few minor changes for English and clarity