Minor changes to the document