Minor updates on documents