Minor update to the document