Minor updates on documentation